首页> 外文OA文献 >On-the-Fly Construction of Adaptive Checking Sequences for Testing Deterministic Implementations of Nondeterministic Specifications

【2h】

On-the-Fly Construction of Adaptive Checking Sequences for Testing Deterministic Implementations of Nondeterministic Specifications

机译：快速构建用于检查非确定性规范的确定性实现的自适应检查序列

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

摘要
著录项
引文网络
相似文献
相关主题

摘要

Part 2: Heuristics and Non-determinism in Testing

机译：第2部分：测试中的启发式和非确定性

著录项

作者
Yevtushenko, Nina; El-Fakih, Khaled; Ermakov, Anton;
展开▼
作者单位

展开▼
年度 2016
总页数
原文格式 PDF
正文语种 en
中图分类

相似文献

外文文献
中文文献
专利

1. Deterministic Supervisors for Bisimilarity Control of Partially Observed Nondeterministic Discrete Event Systems with Deterministic Specifications [J] . Shimatani Kohei, Takai Shigemasa IEICE Transactions on fundamentals of electronics, communications & computer sciences . 2021,第2期

机译：确定性规范的部分观察到的非偏见离散事件系统的相似控制的确定性监督
2. NDSeq: runtime checking for nondeterministic sequential specifications of parallel correctness [J] . Burnim Jacob, Elmas Tayfun, Necula George, ACM SIGPLAN Notices: A Monthly Publication of the Special Interest Group on Programming Languages . 2011,第6期

机译：NDSeq：运行时检查并行性的不确定性顺序规范
3. FBT: A Tool for Applying Interval Logic Specifications to On-the-fly Model Checking [J] . Miguel J. Hornos Journal of Universal Computer Science . 2004,第11期

机译：FBT：一种将间隔逻辑规范应用于即时模型检查的工具
4. On-the-Fly Construction of Adaptive Checking Sequences for Testing Deterministic Implementations of Nondeterministic Specifications [C] . Nina Yevtushenko, Khaled El-Fakih, Anton Ermakov IFIP WG 6.1 International Conference on Testing Software and Systems . 2016

机译：适应性检查序列的现场施工，用于测试非预定规范的确定性实现
5. On the construction of some deterministic low-density parity-check codes. [D] . Echard, Rich. 2003

机译：关于一些确定性的低密度奇偶校验码的构造。
6. On-the-Fly Assembled Multistage Adaptive Testing [O] . Yi Zheng, Hua-Hua Chang 2015

机译：实时组装多级自适应测试
7. On-the-Fly Construction of Adaptive Checking Sequences for Testing Deterministic Implementations of Nondeterministic Specifications [O] . Yevtushenko, Nina, El-Fakih, Khaled, Ermakov, Anton 2016

机译：快速构建用于检查非确定性规范的确定性实现的自适应检查序列
8. Theory of Adaptive Mechanisms. Part Iv. Deterministic Realization and Simulation of Nondeterministic Automata [R] . Moore, F. R. 1970

机译：自适应机制理论。第一部分。非确定性自动机的确定性实现与仿真

On-the-Fly Construction of Adaptive Checking Sequences for Testing Deterministic Implementations of Nondeterministic Specifications

摘要

著录项

引文网络

相似文献

相关主题

期刊订阅